41. Software Engineering Techniques
Author: \ Zbigniew Huzar...[et al.] (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
E-Book
,
42. Software Engineering Trends and Techniques in Intelligent Systems
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses,Artificial intelligence -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,هوش مصنوعی -- کنگره‌ها
Classification :
E-Book
,
43. Software Engineering and Formal Methods
Author: \ Radu Calinescu , Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
44. Software Engineering and Formal Methods
Author: \ [edited by] Carlos Canal, Akram Idani.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
45. Software Engineering and Formal Methods
Author: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
46. Software Engineering for Resilient Systems
Author: \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- اطمینان‌پذیری -- کنگره ها ,نرمافزار -- اطمینان‌پذیری
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
47. Software, Services and Systems
Author: \ [edited by] Rocco De Nicola, Rolf Hennicker.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
48. Static Analysis
Author: \ Sandrine Blazy , Thomas Jensen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
Classification :
QA
76
.
6
.
S7
2015
E-Book
,
49. Testing software and systems.
Author: \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
76
.
T48
I34
2015
E-Book
,
50. Trends and Applications in Software Engineering
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses,Software engineering,نرمافزار -- مهندسی -- کنگره‌ها,نرمافزار -- مهندسی
Classification :
E-Book
,
51. Trends in software testing
Author: \ Hrushikesha Mohanty J.R. Mohanty Arunkumar Balakrishnan, Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
E-book
,
52. Verification, Model Checking, and Abstract Interpretation.
Author: \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
Classification :
.
V4
2016
E-Book
,
53. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
54. Web Information Systems Engineering – WISE 2015
Author: \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
Classification :
QA76
.
758
.
W41
2015
E-Book
,
